0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Temporal Logic" - alle Bücher, CDs und LPs

    Ihre Suche nach "Temporal Logic" (Bücher, CDs und LPs) ergab 8 Treffer.

    Ansicht:

    Midori Takada
    Cutting Branches For A Temporary Shelter

    Das erste neue Soloalbum der renommierten japanischen Percussionisten Midori Takada (Through The Looking Glass) seit 23 Jahren erscheint als Vinyl-LP in einer 350g-Cover mit OBI-Card und Linernotes und al…

    lieferbar innerhalb einer Woche
    CD
     
    Aktueller Preis: EUR 16,99

    Woodkid
    The Golden Age

    In der Mode- und Filmwelt ist Yoann Lemoine als namenhafter Produzent zahlreiche Musikvideos (u.a. Yelle, The Shoes, Moby oder Katy Perrys und Lana Del Rey) und diverser Werbefilme unlängst erfolgreich. W…

    Artikel am Lager
    2 LPs
     
    Vorheriger Preis EUR 36,99, reduziert um 5%
    Aktueller Preis: EUR 34,99

    Runtime Verification

    .- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Runtime Verification

    This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short paper…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 60,23

    Woodkid
    The Golden Age

    In der Mode- und Filmwelt ist Yoann Lemoine als namenhafter Produzent zahlreiche Musikvideos (u.a. Yelle, The Shoes, Moby oder Katy Perrys und Lana Del Rey) und diverser Werbefilme unlängst erfolgreich. W…

    lieferbar innerhalb von 3 Tagen
    CD
     
    Aktueller Preis: EUR 14,99

    Education and the Politics of Time

    Educational Governance Research - Band 26

    Education and the politics of time: temporal governance in teaching and learning explores how time---its organization, regulation, and lived experience---structures education across diverse contexts. Orga…

    lieferbar ab 17.1.2026.
    Buch
    Aktueller Preis: EUR 153,32

    Philip Pond
    Asynchronicity

    De Gruyter Contemporary Social Sciences

    Asynchronicity is a study of the information stress and its genesis in the accelerative dynamics of computation and automation. In simple terms, this volume illustrates how anti-democratic communication h…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 106,31

    Principles of Formal Quantitative Analysis

    This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.